[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.184 0.011 0.382 0.193 0.218 0.445 0.275 0.035

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.177 0.012 0.394 0.187 0.214 0.535 0.276 0.036

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 48 51 51 56 51 51

N.S.

1 1.00 0.91 0.87 0.93 0.93 1.02 0.93 0.93

time (sec)

N/A 0.175 0.012 0.379 0.189 0.212 0.650 0.277 0.041

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 75 73 73 82 77 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.09 1.03 0.92

time (sec)

N/A 0.214 0.008 0.382 0.194 0.217 0.023 0.272 0.038

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 75 73 73 80 77 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.07 1.03 0.92

time (sec)

N/A 0.203 0.007 0.385 0.194 0.216 0.024 0.273 0.030

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 75 75 73 73 82 77 69

N.S.

1 1.00 1.00 1.00 0.97 0.97 1.09 1.03 0.92

time (sec)

N/A 0.204 0.008 0.380 0.196 0.212 0.024 0.286 0.034

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 69 74 73 73 80 76 68

N.S.

1 1.00 1.13 1.21 1.20 1.20 1.31 1.25 1.11

time (sec)

N/A 0.198 0.009 0.381 0.200 0.212 0.024 0.284 0.047

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 67 70 69 69 73 72 65

N.S.

1 1.00 1.76 1.84 1.82 1.82 1.92 1.89 1.71

time (sec)

N/A 0.166 0.007 0.376 0.198 0.217 0.025 0.283 0.049

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 53 63 69 68 68 73 70 63

N.S.

1 0.98 1.17 1.28 1.26 1.26 1.35 1.30 1.17

time (sec)

N/A 0.173 0.017 0.390 0.204 0.219 0.073 0.273 0.046

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 67 69 69 75 70 71 65

N.S.

1 1.00 1.03 1.06 1.06 1.15 1.08 1.09 1.00

time (sec)

N/A 0.198 0.018 0.393 0.190 0.222 0.099 0.277 0.063

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 62 63 69 74 68 69 70

N.S.

1 1.00 0.95 0.97 1.06 1.14 1.05 1.06 1.08

time (sec)

N/A 0.200 0.019 0.390 0.202 0.222 0.186 0.283 0.052

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 67 61 69 75 73 70 70

N.S.

1 1.00 1.05 0.95 1.08 1.17 1.14 1.09 1.09

time (sec)

N/A 0.198 0.024 0.390 0.194 0.217 0.355 0.280 0.347

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 58 70 64 72 75 80 73 71

N.S.

1 0.98 1.19 1.08 1.22 1.27 1.36 1.24 1.20

time (sec)

N/A 0.180 0.017 0.391 0.187 0.230 0.532 0.287 0.338

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 66 66 73 73 82 75 71

N.S.

1 1.00 1.50 1.50 1.66 1.66 1.86 1.70 1.61

time (sec)

N/A 0.149 0.014 0.398 0.193 0.225 0.698 0.278 0.331

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 69 66 73 73 82 75 73

N.S.

1 1.00 0.92 0.88 0.97 0.97 1.09 1.00 0.97

time (sec)

N/A 0.201 0.015 0.388 0.185 0.218 0.847 0.285 0.046

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 69 66 73 73 82 75 74

N.S.

1 1.00 0.92 0.88 0.97 0.97 1.09 1.00 0.99

time (sec)

N/A 0.201 0.016 0.389 0.195 0.226 1.101 0.272 0.050

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 69 66 73 73 82 75 74

N.S.

1 1.00 0.92 0.88 0.97 0.97 1.09 1.00 0.99

time (sec)

N/A 0.198 0.014 0.386 0.196 0.224 1.424 0.262 0.043

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 69 66 73 73 82 75 74

N.S.

1 1.00 0.92 0.88 0.97 0.97 1.09 1.00 0.99

time (sec)

N/A 0.195 0.014 0.388 0.207 0.214 2.077 0.292 0.047

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 117 120 119 119 133 124 107

N.S.

1 1.00 1.00 1.03 1.02 1.02 1.14 1.06 0.91

time (sec)

N/A 0.271 0.012 0.393 0.186 0.218 0.028 0.280 0.366

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 117 121 119 119 136 125 107

N.S.

1 1.00 1.00 1.03 1.02 1.02 1.16 1.07 0.91

time (sec)

N/A 0.251 0.010 0.389 0.196 0.214 0.029 0.270 0.043

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 117 120 119 119 134 124 106

N.S.

1 1.00 1.04 1.07 1.06 1.06 1.20 1.11 0.95

time (sec)

N/A 0.253 0.010 0.387 0.194 0.218 0.030 0.274 0.045

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 114 120 118 118 133 124 106

N.S.

1 1.00 1.31 1.38 1.36 1.36 1.53 1.43 1.22

time (sec)

N/A 0.233 0.010 0.388 0.211 0.212 0.029 0.269 0.043

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 115 121 119 119 134 125 107

N.S.

1 1.00 1.89 1.98 1.95 1.95 2.20 2.05 1.75

time (sec)

N/A 0.200 0.010 0.391 0.200 0.216 0.030 0.269 0.067

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 109 117 115 115 129 121 103

N.S.

1 1.00 2.87 3.08 3.03 3.03 3.39 3.18 2.71

time (sec)

N/A 0.175 0.010 0.389 0.196 0.215 0.033 0.314 0.095

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 77 108 115 114 114 126 118 101

N.S.

1 0.96 1.35 1.44 1.42 1.42 1.58 1.48 1.26

time (sec)

N/A 0.198 0.021 0.405 0.204 0.227 0.103 0.266 0.067

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 107 117 115 121 121 119 103

N.S.

1 1.00 1.02 1.11 1.10 1.15 1.15 1.13 0.98

time (sec)

N/A 0.268 0.027 0.914 0.197 0.225 0.134 0.279 0.566

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 106 113 116 121 122 119 108

N.S.

1 1.00 0.98 1.05 1.07 1.12 1.13 1.10 1.00

time (sec)

N/A 0.250 0.027 0.389 0.200 0.212 0.225 0.281 0.338

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 109 107 117 121 122 118 114

N.S.

1 1.00 1.01 0.99 1.08 1.12 1.13 1.09 1.06

time (sec)

N/A 0.246 0.018 0.390 0.188 0.219 0.388 0.278 0.052

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 106 101 116 121 122 116 117

N.S.

1 1.00 0.99 0.94 1.08 1.13 1.14 1.08 1.09

time (sec)

N/A 0.252 0.030 0.392 0.209 0.217 0.683 0.281 0.069

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 106 99 115 121 124 116 116

N.S.

1 1.00 1.02 0.95 1.11 1.16 1.19 1.12 1.12

time (sec)

N/A 0.244 0.032 0.396 0.195 0.219 1.077 0.291 0.362

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 82 109 102 118 121 131 119 117

N.S.

1 0.96 1.28 1.20 1.39 1.42 1.54 1.40 1.38

time (sec)

N/A 0.203 0.024 0.395 0.210 0.222 1.538 0.275 0.359

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 104 104 119 119 133 123 118

N.S.

1 1.00 2.36 2.36 2.70 2.70 3.02 2.80 2.68

time (sec)

N/A 0.154 0.020 0.395 0.212 0.218 2.017 0.274 0.063

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 107 104 119 119 133 123 120

N.S.

1 1.00 1.53 1.49 1.70 1.70 1.90 1.76 1.71

time (sec)

N/A 0.168 0.020 0.394 0.218 0.219 2.729 0.276 0.064

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 107 104 119 119 133 123 119

N.S.

1 1.00 0.93 0.90 1.03 1.03 1.16 1.07 1.03

time (sec)

N/A 0.247 0.021 0.395 0.198 0.214 3.997 0.279 0.078

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 107 104 119 119 133 123 119

N.S.

1 1.00 0.91 0.89 1.02 1.02 1.14 1.05 1.02

time (sec)

N/A 0.249 0.022 0.394 0.199 0.217 7.071 0.276 0.466

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 107 104 119 119 133 123 120

N.S.

1 1.00 0.91 0.89 1.02 1.02 1.14 1.05 1.03

time (sec)

N/A 0.243 0.020 0.403 0.195 0.212 16.021 0.291 0.351

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 229 236 243 243 269 245 211

N.S.

1 1.00 1.00 1.03 1.06 1.06 1.17 1.07 0.92

time (sec)

N/A 0.488 0.024 0.398 0.188 0.218 0.043 0.293 0.124

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 231 236 243 243 269 245 211

N.S.

1 1.00 1.00 1.02 1.05 1.05 1.16 1.06 0.91

time (sec)

N/A 0.434 0.018 0.400 0.190 0.220 0.043 0.305 0.374

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 229 235 243 243 264 244 210

N.S.

1 1.00 0.95 0.98 1.01 1.01 1.10 1.02 0.88

time (sec)

N/A 0.444 0.019 0.389 0.199 0.218 0.043 0.289 0.095

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 227 235 243 243 262 244 211

N.S.

1 1.00 1.06 1.09 1.13 1.13 1.22 1.13 0.98

time (sec)

N/A 0.412 0.018 0.396 0.194 0.222 0.042 0.296 0.094

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 191 228 236 242 242 264 245 210

N.S.

1 1.00 1.19 1.24 1.27 1.27 1.38 1.28 1.10

time (sec)

N/A 0.383 0.021 0.397 0.198 0.210 0.043 0.291 0.095

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 229 236 243 243 265 245 211

N.S.

1 1.00 1.40 1.45 1.49 1.49 1.63 1.50 1.29

time (sec)

N/A 0.353 0.018 0.399 0.206 0.210 0.046 0.281 0.092

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 231 236 243 243 269 245 211

N.S.

1 1.00 1.66 1.70 1.75 1.75 1.94 1.76 1.52

time (sec)

N/A 0.328 0.018 0.396 0.202 0.217 0.046 0.298 0.096

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 231 236 243 243 265 245 211

N.S.

1 1.00 2.06 2.11 2.17 2.17 2.37 2.19 1.88

time (sec)

N/A 0.290 0.018 0.395 0.217 0.229 0.043 0.285 0.099

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 226 236 242 242 262 245 210

N.S.

1 1.00 2.60 2.71 2.78 2.78 3.01 2.82 2.41

time (sec)

N/A 0.261 0.019 0.398 0.203 0.217 0.043 0.290 0.516

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 218 236 243 243 262 245 211

N.S.

1 1.00 3.57 3.87 3.98 3.98 4.30 4.02 3.46

time (sec)

N/A 0.227 0.024 0.397 0.200 0.217 0.044 0.273 0.095

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 198 232 240 240 248 241 208

N.S.

1 1.00 5.21 6.11 6.32 6.32 6.53 6.34 5.47

time (sec)

N/A 0.180 0.034 0.397 0.202 0.218 0.047 0.295 0.105

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 140 208 230 238 238 246 238 205

N.S.

1 0.95 1.41 1.55 1.61 1.61 1.66 1.61 1.39

time (sec)

N/A 0.260 0.031 0.403 0.259 0.218 0.194 0.286 0.384

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 209 236 239 245 248 239 207

N.S.

1 1.00 0.96 1.09 1.10 1.13 1.14 1.10 0.95

time (sec)

N/A 0.383 0.053 0.422 0.201 0.220 0.225 0.276 0.103

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 206 234 240 245 248 240 211

N.S.

1 1.00 0.95 1.08 1.11 1.13 1.15 1.11 0.98

time (sec)

N/A 0.368 0.056 0.407 0.190 0.218 0.334 0.282 0.364

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 208 230 241 245 250 241 215

N.S.

1 1.00 0.96 1.06 1.12 1.13 1.16 1.12 1.00

time (sec)

N/A 0.383 0.059 0.409 0.200 0.216 0.513 0.284 0.363

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 210 226 240 245 248 241 217

N.S.

1 1.00 0.98 1.05 1.12 1.14 1.15 1.12 1.01

time (sec)

N/A 0.368 0.049 0.403 0.190 0.214 0.809 0.298 0.086

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 210 222 241 245 250 241 221

N.S.

1 1.00 0.96 1.02 1.11 1.12 1.15 1.11 1.01

time (sec)

N/A 0.390 0.054 0.406 0.193 0.214 1.214 0.292 0.138

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 210 218 241 245 253 241 224

N.S.

1 1.00 0.96 1.00 1.11 1.12 1.16 1.11 1.03

time (sec)

N/A 0.379 0.062 0.405 0.219 0.212 1.845 0.282 0.126

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 210 214 241 245 253 241 227

N.S.

1 1.00 0.97 0.99 1.12 1.13 1.17 1.12 1.05

time (sec)

N/A 0.382 0.066 0.406 0.205 0.229 2.686 0.274 0.089

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 208 210 241 245 252 241 230

N.S.

1 1.00 0.96 0.97 1.12 1.13 1.17 1.12 1.06

time (sec)

N/A 0.395 0.059 0.407 0.218 0.218 4.004 0.315 0.086

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 206 205 240 245 252 240 232

N.S.

1 1.00 0.96 0.95 1.12 1.14 1.17 1.12 1.08

time (sec)

N/A 0.398 0.063 0.407 0.188 0.224 6.402 0.331 0.371

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 209 203 239 245 252 240 231

N.S.

1 1.00 0.97 0.94 1.11 1.13 1.17 1.11 1.07

time (sec)

N/A 0.393 0.066 0.407 0.187 0.230 11.658 0.308 0.388

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 145 212 206 242 245 258 243 232

N.S.

1 0.95 1.39 1.35 1.58 1.60 1.69 1.59 1.52

time (sec)

N/A 0.270 0.066 0.413 0.197 0.227 26.801 0.310 0.405

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 199 208 243 243 260 243 233

N.S.

1 1.00 4.52 4.73 5.52 5.52 5.91 5.52 5.30

time (sec)

N/A 0.158 0.038 0.402 0.203 0.244 57.765 0.300 0.133

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 71 202 208 243 243 260 243 235

N.S.

1 0.99 2.81 2.89 3.38 3.38 3.61 3.38 3.26

time (sec)

N/A 0.170 0.035 0.403 0.197 0.218 127.322 0.348 0.493

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 97 202 208 243 243 0 243 235

N.S.

1 0.96 2.00 2.06 2.41 2.41 0.00 2.41 2.33

time (sec)

N/A 0.188 0.039 0.405 0.203 0.215 0.000 0.311 0.181

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 123 202 208 243 243 0 243 235

N.S.

1 0.95 1.55 1.60 1.87 1.87 0.00 1.87 1.81

time (sec)

N/A 0.203 0.034 0.405 0.197 0.224 0.000 0.299 0.138

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 149 222 208 243 243 0 243 235

N.S.

1 0.94 1.40 1.31 1.53 1.53 0.00 1.53 1.48

time (sec)

N/A 0.215 0.043 0.404 0.199 0.217 0.000 0.322 0.405

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 175 222 208 243 243 0 243 235

N.S.

1 0.93 1.18 1.11 1.29 1.29 0.00 1.29 1.25

time (sec)

N/A 0.234 0.044 0.407 0.201 0.221 0.000 0.272 0.143

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 222 208 243 243 0 243 235

N.S.

1 1.00 0.97 0.91 1.06 1.06 0.00 1.06 1.03

time (sec)

N/A 0.390 0.045 0.403 0.198 0.219 0.000 0.278 0.421

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 227 220 208 243 243 0 243 234

N.S.

1 1.00 0.97 0.92 1.07 1.07 0.00 1.07 1.03

time (sec)

N/A 0.381 0.044 0.406 0.195 0.213 0.000 0.285 0.136

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 222 208 243 243 0 243 234

N.S.

1 1.00 0.97 0.91 1.06 1.06 0.00 1.06 1.02

time (sec)

N/A 0.387 0.045 0.409 0.205 0.225 0.000 0.283 0.142

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 359 374 387 387 422 389 331

N.S.

1 1.00 3.15 3.28 3.39 3.39 3.70 3.41 2.90

time (sec)

N/A 0.477 0.048 0.409 0.201 0.219 0.061 0.315 0.480

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 355 374 387 387 413 389 331

N.S.

1 1.00 4.03 4.25 4.40 4.40 4.69 4.42 3.76

time (sec)

N/A 0.373 0.036 0.406 0.208 0.217 0.059 0.290 0.540

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 347 374 387 387 408 389 331

N.S.

1 1.00 5.60 6.03 6.24 6.24 6.58 6.27 5.34

time (sec)

N/A 0.331 0.035 0.404 0.192 0.220 0.060 0.280 0.261

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 342 370 384 384 393 385 328

N.S.

1 1.00 9.00 9.74 10.11 10.11 10.34 10.13 8.63

time (sec)

N/A 0.187 0.030 0.407 0.196 0.218 0.065 0.297 0.556

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 42 37 36 36 37 36 36

N.S.

1 1.00 3.50 3.08 3.00 3.00 3.08 3.00 3.00

time (sec)

N/A 0.133 0.002 0.398 0.217 0.209 0.018 0.318 0.031

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 100 101 116 117 109 119 120

N.S.

1 1.00 0.93 0.94 1.07 1.08 1.01 1.10 1.11

time (sec)

N/A 0.273 0.026 0.420 0.199 0.233 0.146 0.276 0.047

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 80 82 92 94 85 94 94

N.S.

1 1.00 0.92 0.94 1.06 1.08 0.98 1.08 1.08

time (sec)

N/A 0.235 0.018 1.155 0.206 0.235 0.130 0.286 0.419

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 61 63 70 71 61 71 72

N.S.

1 1.00 0.92 0.95 1.06 1.08 0.92 1.08 1.09

time (sec)

N/A 0.212 0.015 0.417 0.199 0.229 0.115 0.284 0.503

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 41 43 45 47 37 45 46

N.S.

1 1.00 0.91 0.96 1.00 1.04 0.82 1.00 1.02

time (sec)

N/A 0.189 0.010 0.956 0.216 0.221 0.094 0.274 0.060

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 26 26 25 20 27 25

N.S.

1 1.00 1.00 1.04 1.04 1.00 0.80 1.08 1.00

time (sec)

N/A 0.168 0.006 0.415 0.213 0.221 0.075 0.285 0.048

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 29 30 29 28 41 31 28

N.S.

1 1.00 0.97 1.00 0.97 0.93 1.37 1.03 0.93

time (sec)

N/A 0.171 0.008 0.955 0.191 0.220 0.222 0.280 0.114

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 42 43 43 41 95 51 33

N.S.

1 1.00 0.98 1.00 1.00 0.95 2.21 1.19 0.77

time (sec)

N/A 0.187 0.012 0.431 0.198 0.233 0.185 0.293 0.089

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 58 61 63 69 131 75 74

N.S.

1 1.00 0.94 0.98 1.02 1.11 2.11 1.21 1.19

time (sec)

N/A 0.208 0.023 0.953 0.196 0.223 0.223 0.280 0.426

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 81 83 89 94 165 99 96

N.S.

1 1.00 0.94 0.97 1.03 1.09 1.92 1.15 1.12

time (sec)

N/A 0.233 0.035 0.438 0.194 0.227 0.255 0.270 0.099

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 100 101 112 117 189 122 116

N.S.

1 1.00 0.94 0.95 1.06 1.10 1.78 1.15 1.09

time (sec)

N/A 0.255 0.043 1.177 0.195 0.224 0.295 0.278 0.438

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 107 116 123 164 119 175 173

N.S.

1 1.00 0.95 1.03 1.09 1.45 1.05 1.55 1.53

time (sec)

N/A 0.296 0.040 0.424 0.198 0.220 0.255 0.271 0.335

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 87 90 101 140 92 144 115

N.S.

1 1.00 0.97 1.00 1.12 1.56 1.02 1.60 1.28

time (sec)

N/A 0.255 0.036 1.165 0.215 0.222 0.230 0.270 0.056

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 66 67 74 113 68 111 77

N.S.

1 1.00 0.96 0.97 1.07 1.64 0.99 1.61 1.12

time (sec)

N/A 0.223 0.035 0.421 0.198 0.213 0.194 0.269 0.440

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 41 46 53 72 44 80 54

N.S.

1 1.00 0.91 1.02 1.18 1.60 0.98 1.78 1.20

time (sec)

N/A 0.192 0.016 0.954 0.197 0.223 0.148 0.277 0.521

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 31 33 34 37 27 57 32

N.S.

1 1.00 0.97 1.03 1.06 1.16 0.84 1.78 1.00

time (sec)

N/A 0.170 0.008 0.417 0.200 0.212 0.094 0.276 0.045

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 38 42 44 62 32 55 39

N.S.

1 1.00 0.90 1.00 1.05 1.48 0.76 1.31 0.93

time (sec)

N/A 0.179 0.018 0.963 0.208 0.235 0.140 0.270 0.066

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 56 64 67 107 128 86 58

N.S.

1 1.00 0.86 0.98 1.03 1.65 1.97 1.32 0.89

time (sec)

N/A 0.211 0.026 0.428 0.193 0.228 0.255 0.290 0.417

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 85 84 99 150 184 130 104

N.S.

1 1.00 1.00 0.99 1.16 1.76 2.16 1.53 1.22

time (sec)

N/A 0.238 0.048 1.185 0.194 0.227 0.304 0.287 0.105

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 106 109 128 179 219 161 131

N.S.

1 1.00 0.94 0.96 1.13 1.58 1.94 1.42 1.16

time (sec)

N/A 0.273 0.058 0.448 0.211 0.227 0.343 0.285 0.389

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 108 116 133 197 136 125 147

N.S.

1 1.00 0.93 1.00 1.15 1.70 1.17 1.08 1.27

time (sec)

N/A 0.295 0.044 1.176 0.205 0.216 0.435 0.294 0.072

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 86 90 108 171 107 100 108

N.S.

1 1.00 0.91 0.96 1.15 1.82 1.14 1.06 1.15

time (sec)

N/A 0.252 0.037 0.435 0.198 0.223 0.374 0.278 0.070

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 75 69 85 134 83 72 85

N.S.

1 1.00 1.06 0.97 1.20 1.89 1.17 1.01 1.20

time (sec)

N/A 0.224 0.018 1.170 0.199 0.223 0.295 0.277 0.344

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 54 50 65 81 63 54 63

N.S.

1 1.00 0.98 0.91 1.18 1.47 1.15 0.98 1.15

time (sec)

N/A 0.195 0.012 0.425 0.202 0.224 0.180 0.285 0.426

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 25 38 38 39 24 39

N.S.

1 1.00 0.93 0.89 1.36 1.36 1.39 0.86 1.39

time (sec)

N/A 0.140 0.007 0.959 0.194 0.215 0.137 0.292 0.386

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 53 56 68 109 63 59 61

N.S.

1 1.00 0.93 0.98 1.19 1.91 1.11 1.04 1.07

time (sec)

N/A 0.194 0.031 0.420 0.202 0.222 0.202 0.292 0.347

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 81 85 100 187 168 99 87

N.S.

1 1.00 0.92 0.97 1.14 2.12 1.91 1.12 0.99

time (sec)

N/A 0.241 0.033 0.991 0.199 0.234 0.325 0.267 0.103

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 102 107 131 225 219 124 136

N.S.

1 1.00 0.93 0.97 1.19 2.05 1.99 1.13 1.24

time (sec)

N/A 0.265 0.054 0.445 0.203 0.220 0.373 0.286 0.116

[next] [prev] [prev-tail] [front] [up]